1. Computational Logic and Set Theory: Applying Formalized Logic to Analysis
پدیدآورنده : / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
